منابع مشابه
Programs for Ever Programs for Ever
This article reflects our experience with the preservation of computer programs that once served a scientific purpose, but were not maintained since then. After producing results, published in scientific journals in the 70’s, 80’s and begin 90’s, they were stored provisionally on some kind of persistent medium and are at present restored to current state of the art hardware. We constructed an a...
متن کاملMephisto I Towards a Formal Theory
Mephisto is a framework that will enable ontologybased high-level information fusion. Within the framework, the name Mephisto can be used to refer to a conceptualisation, an ontology, an agent, a society, a formal theory, and an implementation. A Mephisto conceptualisation assumes that the world can be understood in terms of processes. A Mephisto ontology is a specification of the conceptualisa...
متن کاملMEFISTO – An electric field instrument for BepiColombo/MMO
MEFISTO, together with the companion instrument WPT, are planning the first-ever in situ measurements of the electric field in the magnetosphere of planet Mercury. The instruments have been selected by JAXA for inclusion in the BepiColombo/MMO payload, as part of the Plasma Wave Investigation coordinated by Kyoto University. The magnetosphere of Mercury was discovered by Mariner 10 in 1974 and ...
متن کاملFault Injection into VHDL Models: The MEFISTO Tool1
This paper focuses on the integration of the fault injection methodology within the design process of fault-tolerant systems. Due to its wide spectrum of application and hierarchical features, VHDL has been selected as the simulation language to support such an integration. Suitable techniques for injecting faults into VHDL models are identified and depicted. Then, the main features of the MEFI...
متن کاملMEFiSTo-Based Microwave Filter Design Exploiting Space Mapping
We utilize space mapping within the MEFiSTo environment. We employ a coarse-grid MEFiSTo solver to achieve an optimal design of a fine-grid MEFiSTo model. Our algorithm exploits the implicit space mapping and output space mapping approaches. Dielectric constant, an expedient preassigned parameter, is first calibrated to roughly align the coarse and fine MEFiSTo models. Our output space mapping ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Documenta
سال: 2019
ISSN: 0771-8640
DOI: 10.21825/doc.v24i3-4.10416